Trefferliste "Theorem Proving" - alle Bücher

Ihre Suche nach "Theorem Proving" (Bücher) ergab 4 Treffer

Automated Reasoning

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Automated Reasoning

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Nicholas M Katz, Pham Huu Tiep

Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fields Exponential sums have been of great interest ever since Gauss, and their imp…

lieferbar ab 24.6.2025.

Buch

EUR 103,56* Aktueller Preis: EUR 103,56

Artikel merken

In den Warenkorb

Menge ändern

Nicholas M Katz, Pham Huu Tiep

Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fields Exponential sums have been of great interest ever since Gauss, and their imp…

lieferbar ab 24.6.2025.

Buch

EUR 225,43* Aktueller Preis: EUR 225,43

Artikel merken

In den Warenkorb

Menge ändern